<?php

interface PipesImpl_User_Credentials
{

}
